(set-logic NRA)
(set-option :nlsat.inline_vars true)
(declare-const v2 Bool)
(declare-const v4 Bool)
(declare-const r1 Real)
(declare-const r4 Real)
(declare-const r8 Real)
(assert (=> v4 v2))
(assert (= (* 17 r8 6340602.091 r1 0.231076) r4 0.6 r1 (* 17 r8 6340602.091 r1 0.231076)))
(assert v4)
(check-sat)